A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink

Nowadays, the software for electronic control units in embedded systems is often developed using a chain of modelbased development tools. For example, in the field of automotive systems often tools like Matlab/Simulink and related code generation tools such as dSPACE TargetLink are used. To ensure that the produced models can be processed as expected by the employed tool chains, i.e., fulfill all requirements of the later process phases, they have to adhere to a large number of often tool specific as well as organization specific guidelines. In this paper, we present a first prototype for a tool which supports the specification and checking of guidelines for the Matlab/Simulink environment. In addition, we discuss first ideas for the specification of guidelines using examples in Matlab/Simulink notation as well as the semi-automatic correction of guideline violations.